higher geometry / derived geometry
Ingredients
Concepts
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
Constructions
Examples
derived smooth geometry
Theorems
Given a (typically algebraically closed) field , an algebraic -group is a group object in the category of -varieties.
There are two important classes of algebraic groups whose intersection is trivial (the identity group): Linear algebraic groups and abelian varieties.
Any algebraic group contains a unique normal linear algebraic subgroup such that their quotient is an abelian variety.
An algebraic -group is linear if it is a Zariski-closed subgroup of the general linear group for some .
An algebraic group is linear iff it is affine.
An algebraic group scheme is affine if the underlying scheme is affine.
The category of affine group schemes is the opposite of the category of commutative Hopf algebras.
Another important class are connected algebraic -groups whose underlying variety is projective; these are automatically commutative so they are called abelian varieties. In dimension these are precisely the elliptic curves. If is a perfect field and an algebraic -group, the theorem of Chevalley says that there is a unique linear subgroup such that is an abelian variety.
An abelian variety of dimension is called an elliptic curve.
Some of the definitions of the following classes exist more generally for group schemes.
(…)
(See also more generally unipotent group scheme.)
An element of an affine algebraic group is called unipotent if its associated right translation operator on the affine coordinate ring? of is locally unipotent as an element of the ring of linear endomorphism of where ‘’locally unipotent’‘ means that its restriction to any finite dimensional stable subspace of is unipotent as a ring object.
(Jordan-Chevalley decomposition?) Any commutative linear algebraic group over a perfect field is the product of a unipotent and a semisimple algebraic group.
The group objects in the category of algebraic schemes and formal schemes are called (algebraic) group schemes and formal groups, respectively.
Among group schemes are ‘the infinite-dimensional algebraic groups’ of Shafarevich.
Algebraic analogues of loop groups are in the category of ind-schemes. All linear algebraic -groups are affine.
The affine line comes canonically with the structure of a group under addition: the additive group .
The affine line without its origin, comes canonically with the structure of a group under multiplication: the multiplicative group .
On algebraic schemes and algebraic groups via functorial geometry:
(later volumes never appeared)
English translation:
See also:
Gerhard P. Hochschild, Basic Theory of Algebraic Groups and Lie Algebras, Graduate Texts in Mathematics 75, Springer (1981) [doi:10.1007/978-1-4613-8114-3_16]
M. Artin, J. E. Bertin, M. Demazure, P. Gabriel, A. Grothendieck, M. Raynaud, J.-P. Serre, Schemas en groupes, SGA3
James Milne, Algebraic Groups – The theory of group schemes of finite type over a field, Cambridge University Press (2017) [doi:10.1017/9781316711736, webpage, pdf]
Armand Borel, Linear algebraic groups, Springer (2nd edition much expanded)
W. Waterhouse, Introduction to affine group schemes, GTM 66, Springer 1979.
Serge Lang, Abelian varieties, Springer 1983.
David Mumford, Abelian varieties, 1970, 1985.
J. C. Jantzen, Representations of algebraic groups, Acad. Press 1987 (Pure and Appl. Math. vol 131); 2nd edition AMS Math. Surveys and Monog. 107 (2003; reprinted 2007)
T. Springer, Linear algebraic groups, Progress in Mathematics 9, Birkhäuser Boston (2nd ed. 1998, reprinted 2008)
Roe Goodman, Nolan R. Wallach, Symmetry, representations, and invariants. Graduate Texts in Mathematics, 255. Springer, Dordrecht, 2009.
J. Milne, Algebraic groups, Lie Groups, and their arithmetic subgroups, pdf
Last revised on October 29, 2024 at 02:34:02. See the history of this page for a list of all contributions to it.